Self-Specifying Machines

نویسندگان

  • Lane A. Hemaspaandra
  • Harald Hempel
  • Gerd Wechsung
چکیده

We study the computational power of machines that specify their own acceptance types, and show that they accept exactly the languages that ≤ m -reduce to NP sets. A natural variant accepts exactly the languages that ≤ m -reduce to P sets. We show that these two classes coincide if and only if P = P, where the latter class denotes the sets acceptable via at most one question to #P followed by at most a constant number of questions to NP.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Composition and Re nement of Behavioral Speci cations

This paper presents a mechanizable framework for specifying, developing, and reasoning about complex systems. The framework combines features from algebraic speci cations, abstract state machines, and renement calculus, all couched in a categorical setting. In particular, we show how to extend algebraic speci cations to evolving speci cations (especs) in such a way that composition and re nemen...

متن کامل

Specifying Transaction Control to Serialize Concurrent Program Executions

We define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove the correctness property that concurrent runs under the transaction controller are serialisable. We specify the transaction controller T...

متن کامل

A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines

We describe a toolset, consisting of a graphical editor, a simulator, and an assertion checker, for prototyping real-time systems that are specified as Communicating Real-Time State machines (CRSMs). CRSMs are timed state machines that communicate synchronously over unidirectional channels. The system behavior of CRSMs is characterized by a time-stamped trace of communication events. Safety and...

متن کامل

Modelling System Behaviour by Abstract State Machines

Using a language derived from the theory of Abstract State Machines, we are able to concisely describe both the actual and desired behaviour of systems and their components. The resulting specifications may be utilized in a variety of ways: for modelling and monitoring actual system state; as an executable description of intended behaviour; for static verification and testing of this behaviour;...

متن کامل

The Specification of a Multicomputer with Dynamic Network Using Lotos

Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or communication protocols. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems. We show in this paper the model for a popular class of parallel machines: multicomputers. This paper establishes a guide to empl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Int. J. Found. Comput. Sci.

دوره 10  شماره 

صفحات  -

تاریخ انتشار 1999